db typecheck that stops on error
typecheck computer analysis db objects
fixes to computer analysis mappings
smarter analysis decoding