Computing Semantics with Types, Frames and Related Structures