Figured out how to import just the datatype system from PLAI,
since that's the only interesting part.
Fixed check-exn calls to include messages
Fixed a few missing syntax->list calls.
Merge branch 'master' of https://github.com/prharvey/PLU-311
fixed import of plai datatypes.