fixed syntax for no-param functions; planned how to handle pre/postcondition specs
refactor
struct definitions