I want to create my language which contains properties and each property has a type.
I defined my Type concept.
My Type can be my primitive type, and my custom type.
I want to use primitive type from base language and to extend it.
Is it correct, what is it the best way to do?
Why to extend, because if I have my TypeBool that I can use it to write logical expression, or if I have TypeInt I can use math operation.