UserData types now being checked
Pushable trait now consumes its value