Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 15:19:17 +0100] rev 504
Fix bug by expanding permissible data input of search_var_instance_decl_c
(this will also prepare us for removing search_varfb_instance_type_c in the future)
Mario de Sousa <msousa@fe.up.pt> [Fri, 13 Apr 2012 13:05:44 +0100] rev 503
Edit formating and delete unused code.
Mario de Sousa <msousa@fe.up.pt> [Sat, 07 Apr 2012 16:14:17 +0100] rev 502
Start data type checking of var declarations (including direct variables!)