added function to check function definition completion state
factored tabs out, along with evaluation-related functionality, fixed scoping issue in block-typechecker
removed iconic, switched to ink's fontAwesome, added notifications for unfinished function definitions in tabs