Promote the experimental parser to default

Also, a few type checking fixes and literal map support