Further complete Value types support

[Roldak]

for now :

• Variables must explicitly declaire their type when it's a value type
• Can't have arrays of value types
• Can't have attributes which are of value types
• Can't return value types from functions