Restructured type system and added identifier support