Parametric types (WIP)
Fixing bad list names
Merge branch 'master' into parametric_types
Compiling parametric types