finishing the implementation of schema abstractions (for now) by adding the TypedefAbstraction