Modules

type constraints for dealing with relational databases