Implement TypeDecl_eval in Tul