added type annotation
implemented code generation for gotype annotations