Types can now only be defined of a basic type
Deleted old case tests