Various Typeable changes using the automatic deriviation mechanism