Merge branch 'master' into validtypes

Conflicts:
	compiler/parse.py
	tests/test_type.py

Conflicts due to dropping semantic checks from parser
and using new API.