My language should contain primitive data types, which are not part of java, for example unsigned int or bit. I added some normal concepts which extends the baselanguage Type concept. But now I want to setup the type system in MPS. I don't know how to specify a inference rule for this new types?
There are these structure nodes of type primitive datatype. But I also don't know what to do with them, since they only have a name and nothing more.