Bootstrap: free vars
Bootstrap: fix empty types
Bootstrap: continued restrictions and ported more specs from the other compiler