fixing which types are allowed in final code