semantic: Make sure to check that types are equal on assign
test: Add bugs 17 for testing extyperAssign
ir: Add @interface UserAttribute
ir: Add traits expression
rt: Add Attribute class for @interface
parser: Parse @interface and traits
semantic: Implement UserAttributes
test: Add annotations tests