more frameworks

added typeplate
added formalize
added helper functions