How to add a new primitive type Follow

• creating new concept for a type
  
• creating new concept for a literal of this type
  
• writing inference rule for literal concept saying a type of this literal is instance of type concept...

I definitely haven't understood all this type stuff...
I've got a declaration statement and a own type concept. For my declaration I've created this rule:
rule typeof_Declaration {      
  applicable for concept = Declaration as decl
  overrides false            
  do {            
    typeof(decl) :==: decl.type;  
  }
}   

And for my own type:
subtyping rule bit_extends_byte {        
  weak = false            
  applicable for concept = BitType as bit        
  rule {   
    return <byte>;        
  }        
}         

If I create a declaration of baselanguages type int in my sandbox everything is fine, if I use bit instead I got a warning like
Type x3 was not calculated
wheras x3 seems to be a random name which can't be found in my code and changes from statement to statement.
So what else is necessary to build up a minimal surrounding for my own type? And how can I create a type which is completely independent to all java types?
Magvay @ 3:37 am
Our baseLanguage has primitive types such as byte or short. I think you can do it in the same way as in baseLanguage. Relations between this types are defined with subtyping rules (see byte_extends_short rule for example).

subtyping rule short_extends_int {
  weak = false     
  applicable for concept = ShortType as shortType
    
  supertypes {     
    return <int>;  
  } 
}

short s = 4;