started making type system; made base annotation type