add license and readme files to manifest
work in progress: introduce scalar types; add the ability to configure "axioms"
refactor Scalar type