Prefix all tc_proper_* types; add generate_proper_model/3