Be more strict regarding declared types: throws error when encounter an
unknown type