implemented control flow
added <= and >= operators
replaced Seq statement with list of statements
more control flow info
some code cleanup, use uniqueref rule
refactored away the Maybe stuff