1. Fixed bug when inheriting a type that takes no region parameters
2. Initial approach to supporting explicit casts: ignore them (skip type checking)