implemented nominal allocation; stuck on dis/equality for functions
implemented nominal allocation; stuck on dis/equality for functions

baxtersa/adapton.rust,Adapton/adapton.rust,baxtersa/adapton.rust,Adapton/adapton.rust